Functional calculus - PDFSEARCH.IO - Document Search Engine

Functional calculus
Results: 647

#	Item
231	Revised5.92 Report on the Algorithmic Language Scheme MICHAEL SPERBER WILLIAM CLINGER, R. KENT DYBVIG, MATTHEW FLATT, ANTON VAN STRAATEN (Editors) RICHARD KELSEY, JONATHAN REES Add to Reading List Source URL: www.r6rs.org Language: English - Date: 2008-01-06 02:10:31 Lisp programming language Functional languages Data types Functional programming Cross-platform software Scheme Lisp Closure Lambda calculus Software engineering Computing Computer programming
232	CS109A Notes for LectureExceptions An exception is the only thing that a function can return other than a value of its return-type (rangetype). Generally indicates an unexpected argument for the function. Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 01:01:27 Data types Subroutines Anonymous function Functional programming Lambda calculus INT Software engineering Computing Computer programming
233	Innocent Game Models of Untyped Lambda Calculus Andrew D. Ker University College, Oxford Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2006-07-16 07:23:10 Mathematics Denotational semantics Lambda calculus Typed lambda calculus Game semantics Semantics of programming languages Combinatory logic Semantics Functional programming Theoretical computer science Logic in computer science Applied mathematics
234	Relating Models of Backtracking Mitchell Wand Dale Vaillancourt College of Computer and Information Science Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2004-07-21 16:26:52 Functional programming Models of computation Logic in computer science Monad Denotational semantics Lambda calculus Fixed-point combinator Valuation Theoretical computer science Declarative programming Mathematics
235	Revised5.97 Report on the Algorithmic Language Scheme MICHAEL SPERBER WILLIAM CLINGER, R. KENT DYBVIG, MATTHEW FLATT, ANTON VAN STRAATEN (Editors) RICHARD KELSEY, WILLIAM CLINGER, JONATHAN REES Add to Reading List Source URL: www.r6rs.org Language: English - Date: 2008-01-06 01:14:13 Functional languages Theoretical computer science Subroutines Procedural programming languages Cross-platform software Scheme Lisp Closure Lambda calculus Software engineering Computing Computer programming
236	Design and Definition of CeXL and ξ-Calculus Version 0.9.3 ´ Anoq of the Sun, Hardcore Processing Add to Reading List Source URL: www.cex3d.net Language: English - Date: 2015-04-10 16:01:05 Type theory Functional languages Data types Procedural programming languages Subroutines ML Type system Type inference Hindley–Milner Software engineering Programming language theory Computing
237	h hhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh Chapter 4 ❖ Add to Reading List Source URL: www.nondot.org Language: English - Date: 2001-03-26 23:03:08 Lisp programming language Functional programming Data types Functional languages Lambda calculus Lisp Cons Append S-expression Software engineering Computing Computer programming
238	Specialization through Dynamic Staging Piotr Danilewski1,2 Marcel Köster1 Roland Leißa1 1,2,3 Richard Membarth Add to Reading List Source URL: graphics.cg.uni-saarland.de Language: English - Date: 2014-08-19 12:57:10 Functional programming Lambda calculus Subroutines Higher-order functions Continuation-passing style Continuations Anonymous function Parameter Monad Software engineering Declarative programming Computer programming
239	Witnessing Side Effects TACHIO TERAUCHI Tohoku University and ALEX AIKEN Stanford University Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-06-02 04:10:18 Lambda calculus Confluence Computer science Functional analysis Theoretical computer science Applied mathematics Computability theory
240	ń* : Beyond Currying Jason Hemann Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-01-13 20:04:11 Lambda calculus Mathematics Currying Partial application Apply Arity Variadic function Combinatory logic Scheme Declarative programming Software engineering Functional programming

UPDATE